1.
Author: Prepared by the Mathematics Foundation Course Team
Library: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
Subject: Logic , symbolic and mathematical
Classification :
BC
,
135
,.
O6
2. ......................
Author: edited by R. Parikh
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
453
3. .....................
Author: Chang, Chin-liang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C483
4. A Concise Introduction to Mathematical Logic
Author: by Wolfgang Rautenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
5. A Concise introduction to mathematical logic
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic, Symbolic and mathematical
Classification :
511
.
3
R249c
2
Ed
.
6. <A> Concise introduction to pure mathematics
Author: \ Martin Liebeck.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
Classification :
QA9
.
L478
2016
E-book
,
7. A Course in Model Theory :
Author: by Bruno Poizat.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA8
.
9-10
.
3
8. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
9. A course on mathematical logic
پدیدآورنده : Srivastava, Sashi Mohan
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. <A> First Course in Logic
Author: \ Shawn Hedman
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
Classification :
E-Book
,
11. <A> First Course in Mathematical Logic and Set Theory
Author: \ Michael L. O'Leary
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
Classification :
QA
9
.
O4F5
2016
E-Book
,
12. <A> First Course in Modern Logic
Author: \ Edith Watson Shipper and Edward Schuh
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,منطق ریاضی
Classification :
BC135
.
S33F5
1960
13. <A> Framework for Priority Arguments
Author: / Manuel Lerman
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
Classification :
QA9
,.
54
.
F7
,
L47
2010
14. <A> Logical Approach to Philosophy
Author: \ edited by David Devidi and Tim Kenyon.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگرهها ,منطق ریاضی -- کنگرهها
Classification :
E-Book
,
15. <A> Mathematical Introduction to Logic
Author: \ Herbert B. Enderton
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
Classification :
E-Book
,
16. A Mathematical Structure for Emergent Computation
Author: by Victor Korotkich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
17. A Precis of Mathematical Logic
Author: by J.M. Bocheński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
18. A concise introduction to mathematical logic
Author: / Wolfgang Rautenberg
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Electronic books. , local
Classification :
E-BOOK
19. A concise introduction to mathematical logic
Author: Rautenberg, Wolfgang
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R26513
2010
20. A concise introduction to mathematical logic
Author: Rautenberg, Wolfgang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
R26513
2010
